منابع مشابه
Complex Valued Probability Logics
We present two complex valued probabilistic logics, LCOMPB and LCOMPS , which extend classical propositional logic. In LCOMPB one can express formulas of the form Bz,ρα meaning that the probability of α is in the complex ball with the center z and the radius ρ, while in LCOMPS one can make statements of the form Sz,ρα with the intended meaning – the probability of propositional formula α is in ...
متن کاملMany-Valued Logics
The paper considers the fundamental notions of manyvalued logic together with some of the main trends of the recent development of infinite valued systems, often called mathematical fuzzy logics. Besides this logical approach also a more algebraic approach is discussed. And the paper ends with some hints toward applications which are based upon actual theoretical considerations about infinite v...
متن کاملMulti-Valued Logics
A great deal of recent theoretical work in inference has involved extending classical logic in some way. I argue that these extensions share two properties: firstly, the formal addition of truth values encoding intermediate levels of validity between true (i.e., valid) and false (i.e., invalid) and, secondly, the addition of truth values encoding intermediate levels of certainty between true or...
متن کاملMany-valued modal logics
Two families of many-valued modal logics are investigated. Semantically, one family is characterized using Kripke models that allow formulas to take values in a finite many-valued logic, at each possible world. The second family generalizes this to allow the accessibility relation between worlds also to be many-valued. Gentzen sequent calculi are given for both versions, and soundness and compl...
متن کاملMulti-valued Logics
2 General theory 3 2.1 Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.2 Some logical calculi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.2.1 Sequent and tableau calculi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.2.2 Resolution calculi . . . . . . . . . . . . . . . . . . . . . ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Publications de l'Institut Mathematique
سال: 2014
ISSN: 0350-1302,1820-7405
DOI: 10.2298/pim1409073i